x86: explicitly disallow guest access to PPIN
authorJan Beulich <jbeulich@suse.com>
Fri, 20 Dec 2019 15:30:13 +0000 (16:30 +0100)
committerJan Beulich <jbeulich@suse.com>
Fri, 20 Dec 2019 15:30:13 +0000 (16:30 +0100)
commit619a7119da6a57ffe8bdd0f382e011eef05fbec2
treed3a2044ea1aa4c4966690da1338fc65cfa407306
parentb1710040ca9628a6517bfc06f87dcbb670f8743e
x86: explicitly disallow guest access to PPIN

To fulfill the "protected" in its name, don't let the real hardware
values leak. While we could report a control register value expressing
this (which I would have preferred), unconditionally raise #GP for all
accesses (in the interest of getting this done).

Signed-off-by: Jan Beulich <jbeulich@suse.com>
Reviewed-by: Andrew Cooper <andrew.cooper3@citrix.com>
xen/arch/x86/msr.c